Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
181	Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:51 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science
182	A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:29 Models of computation Logic in computer science Deduction Symbol Entailment Denotational semantics Lambda calculus Model theory Dependence analysis Logic Theoretical computer science Metalogic
183	Seq no more: Better Strategies for Parallel Haskell Simon Marlow Patrick Maier Hans-Wolfgang Loidl Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-08-02 12:01:28 Parallel computing Functional languages Functional programming Procedural programming languages Models of computation Algorithmic skeleton Monad Denotational semantics Eval Computing Software engineering Computer programming
184	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
185	An Intelligent Theory of Cost for Partial Metric Spaces Steve Matthews1 and Michael Bukatin2 1 2 Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:08:00 Topological spaces Metric geometry Functions and mappings Order theory Metric space Continuous function Function Domain theory Denotational semantics Mathematics Topology Structure
186	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
187	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
188	Metric-Aware Secure Service Orchestration∗ Gabriele Costa Fabio Martinelli Dipartimento di Informatica, Sistemistica e Telematica Add to Reading List Source URL: wwwold.iit.cnr.it Language: English - Date: 2012-10-09 09:04:02 Denotational semantics Mathematics Valuation Applied mathematics Theoretical computer science Programming language semantics Symbol
189	Technical Report UCAM-CL-TR-860 ISSN[removed]Number 860 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-10-27 06:21:45 Programming language semantics Applied mathematics Models of computation Denotational semantics Programming paradigms Abstraction Programming language Domain theory Operational semantics Theoretical computer science Logic in computer science Mathematics
190	Joint 25th RTA & 12th TLCA: CALL FOR PAPERS Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS July 14–17, 2014, Vien Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2014-07-30 07:52:05 Logic in computer science Type theory Proof theory Lambda calculus Formal methods International Conference on Rewriting Techniques and Applications Denotational semantics Federated Logic Conference Automated theorem proving Theoretical computer science Mathematics Applied mathematics

UPDATE